1. Compability theory, Semantics, and logic programming
پدیدآورنده: / Melvin C. Fitting
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986
2. Discrete structures, logic, and computability
پدیدآورنده: / James L. Hein
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
H383
1995
